$\forall$$a$, $b$:$\mathbb{B}$. ($a$ $\wedge_{2}$ $b$) $=$ ($b$ $\wedge_{2}$ $a$) $\in$ $\mathbb{B}$